Agent Based Simulation of the Flexray Protocol: a Case Study of the Clock Synchronization and Media Access Control Services
نویسندگان
چکیده
This paper deals with agent based design and simulation of the FlexRay protocol for automotive distributed embedded systems. FlexRay supports both time driven and event driven communications. The proposed architecture is modeled as a multi-agent system and implemented in the JADE platform following mainly the so-called O-MaSE methodology. Using JADE, We developed an ontology that provides an automatic interpretation of frame fields. Furthermore, this paper provides a case study of the clock synchronization service and the control of access to media service in the static and dynamic segments of FlexRay.
منابع مشابه
Design of the FlexRay protocol and simulation of its media access control service using agents
This paper deals with design and simulation of the FlexRay protocol for automotive distributed embedded systems using agents. The proposed architecture is modeled as a multiagent system and implemented in the JADE platform following mainly the so-called O-MaSE methodology. Using JADE, We developed an ontology that provides an automatic interpretation of frame fields. Furthermore, this paper pro...
متن کاملA Case Study of Clock Synchronization in Flexray
This paper presents a case study on the performance of a distributed clock synchronization algorithm used in Flexray, a communication protocol designed to meet the requirements of dependable, fault-tolerant real-time applications. The Flexray industry consortium drives forward the standardization of a fault-tolerant communication system for advanced automotive applications. In this case study w...
متن کاملOn the Formal Verification of the FlexRay Communication Protocol
We present ongoing work on the formal analysis of the FlexRay communication protocol. Isabelle/HOL, a theorem prover for Higher Order Logic, is chosen as our specification and verification system. Essential properties of the FlexRay protocol are identified, formalized and verified. In particular, we show our formal verification of the FlexRay bus guardian component. Furthermore, some insights f...
متن کاملSpatio-temporal agent based simulation of COVID-19 disease and investigating the effect of vaccination (case study: Urmia)
Proper management of epidemic diseases such as Covid-19 is very important because of its effects on the economy, culture and society of nations. By applying various control strategies such as closing schools, restricting night traffic and mass vaccination program, the spread of this disease has been somewhat controlled but not completely stopped. The main goal of this research is to provide a f...
متن کاملTime Synchronization in Automotive Ethernet Networks
There are many different time-critical Ethernet applications in the automobile. They include advanced driver assistance systems (ADAS) with cameras and (radar) sensors, real-time audio and video streams, and backbones for synchronizing various physical domains (Figure 1). Another use case is on-board data logging. Moreover, devices networked via Ethernet must naturally also be synchronized with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014